specific_ss.add(when: 'CONFIG_XEN', if_true: files('xen-all.c'))
